Making real-time reactive systems reliable
نویسندگان
چکیده
منابع مشابه
Formal Design of Reliable Real Time Systems Theme: Reliable Real Time Systems Participants: Supervisor: Preface
This thesis presents formal techniques to be used when describing and developing reliable real time systems. Three diierent probabilistic real time logics, used to specify about reliable real time processes in terms of timed probabilistic graphs, are presented. Algorithms for verifying implementations with respect to spec-iications in the developed logics are presented. An algorithm to construc...
متن کاملLow-Power Reliable Real-Time Embedded Systems
s), 2006. [4] D. Zhu and H. Aydin. Reliability-aware energy management for periodic real-time tasks. RTAS, 2007. [5] D. Zhu, R. Melhem, and D. Mossé. The effects of en-ergy management on reliability in real-time embedded systems. ICCAD, 2004.
متن کاملProvisioning of Highly Reliable Real-Time Systems
The development and deployment of highly reliable real-time systems is an important technical as well as societal concern. Many systems are dependent upon timely and correction function; for example in key automotive components, aircraft components, military equipment, and so on. Based upon some early architectural developments in Automatic Train Control, collaboration has led to further develo...
متن کاملGraduate Course: Reactive and Real-Time Systems
This article describes a graduate course on the subject of \Reactive and Real-Time Systems", which serves as the basis for courses taught by the authors at Bar-Ilan University and at Tel-Aviv University, and undergraduate course at the Netania Academic College and The Academic College of Tel-Aviv-Yaao. The course focuses on the development of provably correct reactive or real-time systems. It i...
متن کاملTesting Measurement in Real -Time Reactive Systems
In the context of safety-critical systems, which are real-time reactive systems, testing process must be integrated with the software development process as a whole, not just with the end product. Consequently, measuring the efficiency of the testing process emerges as an important issue. To be accurate and meaningful, both the measurement and the components to be measured must be precisely des...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGOPS Operating Systems Review
سال: 1991
ISSN: 0163-5980
DOI: 10.1145/122140.122143